extern char stack[512];
extern int top;

void push(char c)
{
    stack[++top] = c;
}

